Axiomas de Tarski

Os axiomas de Tarski, debidos a Alfred Tarski, son un conxunto de axiomas da parte substancial da xeometría euclidiana que é formulable en lóxica de primeira orde con identidade, e sen necesidade ningunha da teoría de conxuntos (por exemplo, aquela parte da xeometría euclidiana que é formulable como unha teoría elemental). Outros modelos de axiomatizacións da xeometría euclidiana son a dos axiomas de Hilbert e a dos axiomas de Birkhoff.